Siphons, traps and high-level nets with infinite color domainsSCHMIDT, K.Lecture notes in computer science. 1997, pp 271-289, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Modelling and verification of hybrid systems using hierarchical coloured petri netsGENRICH, H. J; SCHUART, I.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 17-24Conference Paper

Coordinating functional processes using Petri netsASSMANN, C.Lecture notes in computer science. 1997, pp 162-183, issn 0302-9743, isbn 3-540-63237-9Conference Paper

On proving large distributed systems: Petri net modules verificationLOMAZOVA, I. A.Lecture notes in computer science. 1997, pp 70-75, issn 0302-9743, isbn 3-540-63371-5Conference Paper

Sémantique et validation des langages d'acteurs à l'aide des réseaux de Petri colorés = Semantic and validation of actor languages using colored Petri netsSaad Sami, Yamina; Vidal-Naquet, Guy.1993, 179 p.Thesis

Multi-agent-systems Based on coloured Petri netsMOLDT, D; WIENBERG, F.Lecture notes in computer science. 1997, pp 82-101, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Méthodes de spécification et de vérification des protocoles de communication = Specification and verification methods for communication protocolsZouari, Belhasse; Girault, Claude.1992, 277 p.Thesis

Fuzzy time semirings and fuzzy-timing colored Petri netsFUMING WU.International journal of intelligent systems. 1999, Vol 14, Num 8, pp 747-774, issn 0884-8173Article

Agent modelling with Petri NetsPURVIS, M; CRANEFIELD, S.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 602-607, isbn 2-9502908-7-6Conference Paper

Analysis of controlled technological systems using high level Petri netsGERZSON, M; HANGOS, K. M.Computers & chemical engineering. 1995, Vol 19, pp S531-S536, issn 0098-1354, SUPConference Paper

Property specification for coloured Petri netsROUBTSOVA, Ella E.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol3, 2617-2622Conference Paper

Modélisation des systèmes hybrides flexibles et prise en compte des phénomènes d'accumulation = Modelling of hybrid flexible systems and taking accumulation phenomena into accountCARADEC, M; PRUNET, F.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 86-93Conference Paper

Analysing Bang & Olufsen's BeoLink® audio/video system using Coloured Petri NetsCHRISTENSEN, S; JØRGENSEN, J. B.Lecture notes in computer science. 1997, pp 387-406, issn 0302-9743, isbn 3-540-63139-9Conference Paper

On the abstraction of coloured Petri netsLAKOS, C.Lecture notes in computer science. 1997, pp 42-61, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Dynamic evolution of Z/pZ colored Petri net modelsMARTEAU, S; BOURCERIE, M.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 48-52, isbn 2-9502908-7-6Conference Paper

A user-centric federated single sign-on systemSURIADI, Suriadi; FOO, Ernest; JØSANG, Audun et al.Journal of network and computer applications. 2009, Vol 32, Num 2, pp 388-401, issn 1084-8045, 14 p.Conference Paper

Teaching Coloured Petri nets: Examples of courses and lessons learnedCHRISTENSEN, Siren; JØRGENSEN, Jens Baek.Lectures on concurrency and Petri nets : advances in Petri nets. Lecture notes in computer science. 2004, pp 402-412, issn 0302-9743, isbn 3-540-22261-8, 11 p.Book Chapter

Worm detection using CPNLIU PEISHUN; WANG JIANBO; HE DAKE et al.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol5, 4941-4946Conference Paper

Towards a pragmatic methodology for open multi-agent systemsMATHIEU, Philippe; ROUTIER, Jean-Christophe; SECQ, Yann et al.Lecture notes in computer science. 2003, pp 206-210, issn 0302-9743, isbn 3-540-20256-0, 5 p.Conference Paper

Agent-oriented single token and colored transition petri netSUI JIE; YU HUA; JIAO JIANBIN et al.High technology letters. 2002, Vol 8, Num 1, pp 54-57, issn 1006-6748Article

Tackling the infinite state space of a multimedia control protocol service specificationLIN LIU; BILLINGTON, Jonathan.Lecture notes in computer science. 2002, pp 273-293, issn 0302-9743, isbn 3-540-43787-8, 21 p.Conference Paper

Colored Petri Nets with changeable structures (CPN-CS) and their applications in modeling one-of-a-kind production (OKP) systemsZHIBIN JIANG; ZUO, Ming J; FUNG, Richard Y. K et al.Computers & industrial engineering. 2001, Vol 41, Num 3, pp 279-308, issn 0360-8352Article

Model checking LTL properties of High-Level Petri Nets with fairness constraintsLATVALA, Timo.Lecture notes in computer science. 2001, pp 242-262, issn 0302-9743, isbn 3-540-42252-8Conference Paper

Modelling and analysis of a DANFOSS flowmeter system using Coloured Petri NetsLORENTSEN, L; KRISTENSEN, L. M.Lecture notes in computer science. 2000, pp 346-366, issn 0302-9743, isbn 3-540-67693-7Conference Paper

ExSpect 6.4 : An executable specification tool for hierarchical colored Petri netsVAN DER AALST, W. M. P; DE CROM, P. J. N; GOVERDE, R. R. H. M. J et al.Lecture notes in computer science. 2000, pp 455-464, issn 0302-9743, isbn 3-540-67693-7Conference Paper